Optimizing Video Scalers Using Real-time Verification Techniques

نویسندگان

  • Paritosh Gupta
  • Valeria Bertacco
چکیده

Video hardware design is slowly becoming top money grosser for many semiconductor companies. As per statistics the video industry involved in content broadcasting and format change alone has become almost a $1 Billion dollar industry in the United States. And now with the advent of 3D televisions, video gaming etc. this industry is bound to grow even more. Video based designs almost completely rely on algorithms for post/pre processing, asynchronous bridges etc. With so many applications and devices to view this content on, video scaling is an integral aspect of the complete video pipeline. All video consumer devices will have a scaler at their I/O interface. The quality of scaled input will determine performance of the complete video engine. Then why have a video scaler? Why not simply use the full frame instead? This would indeed be an obvious choice in such scenarios. Though keeping optimization in mind, a certain tradeoff needs to be met in between performance and memory requirements. In this project, we present a novel scheme of using a verification-­based checker module to automate this tradeoff while also maintaining low power consumption.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL

A real-time system for power-down control in audio/video components is modeled and verified using the real-time model checker UPPAAL. The system is supposed to reside in an audio/video component and control (read from and write to) links to neighbor audio/video components such as TV, VCR and remote–control. In particular, the system is responsible for the powering up and down of the component i...

متن کامل

Validating a Rapid Verification Method for Cognitive Diagnosis

If instructional techniques and formats need to be dynamically tailored to levels of learner expertise (Kalyuga, 2005A), a question of considerable interest is how to measure the levels of expertise rapidly and in real time. A rapid diagnostic approach has been developed to evaluate what is the highest level of organised knowledge structures (if any) a person is capable of retrieving and applyi...

متن کامل

A Method to Reduce Effects of Packet Loss in Video Streaming Using Multiple Description Coding

Multiple description (MD) coding has evolved as a promising technique for promoting error resiliency of multimedia system in real-time application programs over error-prone communicational channels. Although multiple description lattice vector quantization (MDCLVQ) is an efficient method for transmitting reliable data in the context of potential error channels, this method doesn’t consider disc...

متن کامل

Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems

Due to the increase of complexity in real-time safety-critical systems, verification and validation costs have significantly increased. A straightforward way to reduce costs is to reuse existing systems, adapting them to new requirements, so as to avoid new costly developments. Our aim is to verify during the development strategy definition phase whether the existing products can be reused and ...

متن کامل

A Novel Approach to Background Subtraction Using Visual Saliency Map

Generally human vision system searches for salient regions and movements in video scenes to lessen the search space and effort. Using visual saliency map for modelling gives important information for understanding in many applications. In this paper we present a simple method with low computation load using visual saliency map for background subtraction in video stream. The proposed technique i...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009